Celestin Apprentice 4

home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Utilities / Text / OzTeX 1.9 / TeX-inputs / Tools / thb.sty < prev next >
LaTeX Document | 1995-01-24 | 2.3 KB | [TEXT/MPS ]
open in:
MacOS 8.1 extracted |
Win98 extracted |
DOS extracted
view JSON data |
view as text

This file was processed as: LaTeX Document (document/latex).

You can browse this item here: thb.sty
Confidence	Program	Detection	Match Type	Support
`100%`	dexvert	LaTeX Document `(document/latex)`	magic	Supported
`99%`	dexvert	Texinfo Document `(document/texInfo)`	magic	Supported
`1%`	dexvert	DirectMusic Style `(music/directMusicStyle)`	ext	Unsupported
`1%`	dexvert	Microsoft Word Style Sheet `(other/microsoftWordStyleSheet)`	ext	Unsupported
`1%`	dexvert	KORG File `(other/korgFile)`	ext	Unsupported
`1%`	dexvert	Text File `(text/txt)`	fallback	Supported
`100%`	file	TeX document text	default
`99%`	file	LaTeX document, ASCII text, with CR line terminators	default
`100%`	checkBytes	Printable ASCII	default
`100%`	perlTextCheck	Likely Text (Perl)	default
`100%`	detectItEasy	Format: plain text[CR]	default (weak)
id metadata
key	value
macFileType	`[TEXT]`
macFileCreator	`[MPS ]`
hex view
+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 0d 25 25 20 54 | 68 69 73 20 69 73 20 66 |%% .%% T|his is f|
|00000010| 69 6c 65 20 60 74 68 62 | 2e 73 74 79 27 2c 20 67 |ile `thb|.sty', g|
|00000020| 65 6e 65 72 61 74 65 64 | 20 0d 25 25 20 6f 6e 20 |enerated| .%% on |
|00000030| 3c 31 39 39 35 2f 31 2f | 32 34 3e 20 77 69 74 68 |<1995/1/|24> with|
|00000040| 20 74 68 65 20 64 6f 63 | 73 74 72 69 70 20 75 74 | the doc|strip ut|
|00000050| 69 6c 69 74 79 20 28 32 | 2e 32 69 29 2e 0d 25 25 |ility (2|.2i)..%%|
|00000060| 20 0d 25 25 20 54 68 65 | 20 6f 72 69 67 69 6e 61 | .%% The| origina|
|00000070| 6c 20 73 6f 75 72 63 65 | 20 66 69 6c 65 73 20 77 |l source| files w|
|00000080| 65 72 65 3a 0d 25 25 20 | 0d 25 25 20 74 68 65 6f |ere:.%% |.%% theo|
|00000090| 72 65 6d 2e 64 74 78 20 | 20 28 77 69 74 68 20 6f |rem.dtx | (with o|
|000000a0| 70 74 69 6f 6e 73 3a 20 | 60 74 68 62 27 29 0d 25 |ptions: |`thb').%|
|000000b0| 25 20 0d 25 25 20 49 4d | 50 4f 52 54 41 4e 54 20 |% .%% IM|PORTANT |
|000000c0| 4e 4f 54 49 43 45 3a 20 | 0d 25 25 20 54 68 69 73 |NOTICE: |.%% This|
|000000d0| 20 66 69 6c 65 20 69 73 | 20 70 61 72 74 20 6f 66 | file is| part of|
|000000e0| 20 74 68 65 20 60 74 6f | 6f 6c 73 27 20 62 75 6e | the `to|ols' bun|
|000000f0| 64 6c 65 20 0d 25 25 20 | 69 6e 20 74 68 65 20 4c |dle .%% |in the L|
|00000100| 61 54 65 58 32 65 20 64 | 69 73 74 72 69 62 75 74 |aTeX2e d|istribut|
|00000110| 69 6f 6e 2e 20 0d 25 25 | 20 0d 25 25 20 59 6f 75 |ion. .%%| .%% You|
|00000120| 20 61 72 65 20 6e 6f 74 | 20 61 6c 6c 6f 77 65 64 | are not| allowed|
|00000130| 20 74 6f 20 64 69 73 74 | 72 69 62 75 74 65 20 74 | to dist|ribute t|
|00000140| 68 69 73 20 66 69 6c 65 | 2e 20 0d 25 25 20 46 6f |his file|. .%% Fo|
|00000150| 72 20 64 69 73 74 72 69 | 62 75 74 69 6f 6e 20 6f |r distri|bution o|
|00000160| 66 20 74 68 65 20 6f 72 | 69 67 69 6e 61 6c 20 73 |f the or|iginal s|
|00000170| 6f 75 72 63 65 20 73 65 | 65 20 0d 25 25 20 74 68 |ource se|e .%% th|
|00000180| 65 20 63 6f 70 79 72 69 | 67 68 74 20 6e 6f 74 69 |e copyri|ght noti|
|00000190| 63 65 20 69 6e 20 74 68 | 65 20 73 6f 75 72 63 65 |ce in th|e source|
|000001a0| 20 66 69 6c 65 2c 20 61 | 6e 64 20 0d 25 25 20 69 | file, a|nd .%% i|
|000001b0| 6e 20 74 68 65 20 66 69 | 6c 65 20 72 65 61 64 6d |n the fi|le readm|
|000001c0| 65 2e 74 78 74 20 64 69 | 73 74 72 69 62 75 74 65 |e.txt di|stribute|
|000001d0| 64 20 77 69 74 68 20 74 | 68 65 20 0d 25 25 20 74 |d with t|he .%% t|
|000001e0| 6f 6f 6c 73 20 62 75 6e | 64 6c 65 2e 20 0d 25 25 |ools bun|dle. .%%|
|000001f0| 20 0d 5c 64 65 66 5c 66 | 69 6c 65 76 65 72 73 69 | .\def\f|ileversi|
|00000200| 6f 6e 7b 76 32 2e 32 61 | 7d 0d 5c 64 65 66 5c 66 |on{v2.2a|}.\def\f|
|00000210| 69 6c 65 64 61 74 65 7b | 31 39 39 34 2f 30 32 2f |iledate{|1994/02/|
|00000220| 30 33 7d 0d 5c 64 65 66 | 5c 64 6f 63 64 61 74 65 |03}.\def|\docdate|
|00000230| 20 7b 31 39 39 34 2f 30 | 32 2f 32 38 7d 0d 25 25 | {1994/0|2/28}.%%|
|00000240| 20 5c 43 68 61 72 61 63 | 74 65 72 54 61 62 6c 65 | \Charac|terTable|
|00000250| 0d 25 25 20 20 7b 55 70 | 70 65 72 2d 63 61 73 65 |.%%  {Up|per-case|
|00000260| 20 20 20 20 5c 41 5c 42 | 5c 43 5c 44 5c 45 5c 46 |    \A\B|\C\D\E\F|
|00000270| 5c 47 5c 48 5c 49 5c 4a | 5c 4b 5c 4c 5c 4d 5c 4e |\G\H\I\J|\K\L\M\N|
|00000280| 5c 4f 5c 50 5c 51 5c 52 | 5c 53 5c 54 5c 55 5c 56 |\O\P\Q\R|\S\T\U\V|
|00000290| 5c 57 5c 58 5c 59 5c 5a | 0d 25 25 20 20 20 4c 6f |\W\X\Y\Z|.%%   Lo|
|000002a0| 77 65 72 2d 63 61 73 65 | 20 20 20 20 5c 61 5c 62 |wer-case|    \a\b|
|000002b0| 5c 63 5c 64 5c 65 5c 66 | 5c 67 5c 68 5c 69 5c 6a |\c\d\e\f|\g\h\i\j|
|000002c0| 5c 6b 5c 6c 5c 6d 5c 6e | 5c 6f 5c 70 5c 71 5c 72 |\k\l\m\n|\o\p\q\r|
|000002d0| 5c 73 5c 74 5c 75 5c 76 | 5c 77 5c 78 5c 79 5c 7a |\s\t\u\v|\w\x\y\z|
|000002e0| 0d 25 25 20 20 20 44 69 | 67 69 74 73 20 20 20 20 |.%%   Di|gits    |
|000002f0| 20 20 20 20 5c 30 5c 31 | 5c 32 5c 33 5c 34 5c 35 |    \0\1|\2\3\4\5|
|00000300| 5c 36 5c 37 5c 38 5c 39 | 0d 25 25 20 20 20 45 78 |\6\7\8\9|.%%   Ex|
|00000310| 63 6c 61 6d 61 74 69 6f | 6e 20 20 20 5c 21 20 20 |clamatio|n   \!  |
|00000320| 20 20 20 44 6f 75 62 6c | 65 20 71 75 6f 74 65 20 |   Doubl|e quote |
|00000330| 20 5c 22 20 20 20 20 20 | 48 61 73 68 20 28 6e 75 | \"     |Hash (nu|
|00000340| 6d 62 65 72 29 20 5c 23 | 0d 25 25 20 20 20 44 6f |mber) \#|.%%   Do|
|00000350| 6c 6c 61 72 20 20 20 20 | 20 20 20 20 5c 24 20 20 |llar    |    \$  |
|00000360| 20 20 20 50 65 72 63 65 | 6e 74 20 20 20 20 20 20 |   Perce|nt      |
|00000370| 20 5c 25 20 20 20 20 20 | 41 6d 70 65 72 73 61 6e | \%     |Ampersan|
|00000380| 64 20 20 20 20 20 5c 26 | 0d 25 25 20 20 20 41 63 |d     \&|.%%   Ac|
|00000390| 75 74 65 20 61 63 63 65 | 6e 74 20 20 5c 27 20 20 |ute acce|nt  \'  |
|000003a0| 20 20 20 4c 65 66 74 20 | 70 61 72 65 6e 20 20 20 |   Left |paren   |
|000003b0| 20 5c 28 20 20 20 20 20 | 52 69 67 68 74 20 70 61 | \(     |Right pa|
|000003c0| 72 65 6e 20 20 20 5c 29 | 0d 25 25 20 20 20 41 73 |ren   \)|.%%   As|
|000003d0| 74 65 72 69 73 6b 20 20 | 20 20 20 20 5c 2a 20 20 |terisk  |    \*  |
|000003e0| 20 20 20 50 6c 75 73 20 | 20 20 20 20 20 20 20 20 |   Plus |        |
|000003f0| 20 5c 2b 20 20 20 20 20 | 43 6f 6d 6d 61 20 20 20 | \+     |Comma   |
|00000400| 20 20 20 20 20 20 5c 2c | 0d 25 25 20 20 20 4d 69 |      \,|.%%   Mi|
|00000410| 6e 75 73 20 20 20 20 20 | 20 20 20 20 5c 2d 20 20 |nus     |    \-  |
|00000420| 20 20 20 50 6f 69 6e 74 | 20 20 20 20 20 20 20 20 |   Point|        |
|00000430| 20 5c 2e 20 20 20 20 20 | 53 6f 6c 69 64 75 73 20 | \.     |Solidus |
|00000440| 20 20 20 20 20 20 5c 2f | 0d 25 25 20 20 20 43 6f |      \/|.%%   Co|
|00000450| 6c 6f 6e 20 20 20 20 20 | 20 20 20 20 5c 3a 20 20 |lon     |    \:  |
|00000460| 20 20 20 53 65 6d 69 63 | 6f 6c 6f 6e 20 20 20 20 |   Semic|olon    |
|00000470| 20 5c 3b 20 20 20 20 20 | 4c 65 73 73 20 74 68 61 | \;     |Less tha|
|00000480| 6e 20 20 20 20 20 5c 3c | 0d 25 25 20 20 20 45 71 |n     \<|.%%   Eq|
|00000490| 75 61 6c 73 20 20 20 20 | 20 20 20 20 5c 3d 20 20 |uals    |    \=  |
|000004a0| 20 20 20 47 72 65 61 74 | 65 72 20 74 68 61 6e 20 |   Great|er than |
|000004b0| 20 5c 3e 20 20 20 20 20 | 51 75 65 73 74 69 6f 6e | \>     |Question|
|000004c0| 20 6d 61 72 6b 20 5c 3f | 0d 25 25 20 20 20 43 6f | mark \?|.%%   Co|
|000004d0| 6d 6d 65 72 63 69 61 6c | 20 61 74 20 5c 40 20 20 |mmercial| at \@  |
|000004e0| 20 20 20 4c 65 66 74 20 | 62 72 61 63 6b 65 74 20 |   Left |bracket |
|000004f0| 20 5c 5b 20 20 20 20 20 | 42 61 63 6b 73 6c 61 73 | \[     |Backslas|
|00000500| 68 20 20 20 20 20 5c 5c | 0d 25 25 20 20 20 52 69 |h     \\|.%%   Ri|
|00000510| 67 68 74 20 62 72 61 63 | 6b 65 74 20 5c 5d 20 20 |ght brac|ket \]  |
|00000520| 20 20 20 43 69 72 63 75 | 6d 66 6c 65 78 20 20 20 |   Circu|mflex   |
|00000530| 20 5c 5e 20 20 20 20 20 | 55 6e 64 65 72 73 63 6f | \^     |Undersco|
|00000540| 72 65 20 20 20 20 5c 5f | 0d 25 25 20 20 20 47 72 |re    \_|.%%   Gr|
|00000550| 61 76 65 20 61 63 63 65 | 6e 74 20 20 5c 60 20 20 |ave acce|nt  \`  |
|00000560| 20 20 20 4c 65 66 74 20 | 62 72 61 63 65 20 20 20 |   Left |brace   |
|00000570| 20 5c 7b 20 20 20 20 20 | 56 65 72 74 69 63 61 6c | \{     |Vertical|
|00000580| 20 62 61 72 20 20 5c 7c | 0d 25 25 20 20 20 52 69 | bar  \||.%%   Ri|
|00000590| 67 68 74 20 62 72 61 63 | 65 20 20 20 5c 7d 20 20 |ght brac|e   \}  |
|000005a0| 20 20 20 54 69 6c 64 65 | 20 20 20 20 20 20 20 20 |   Tilde|        |
|000005b0| 20 5c 7e 7d 0d 25 25 0d | 25 25 20 50 61 63 6b 61 | \~}.%%.|%% Packa|
|000005c0| 67 65 20 60 74 68 65 6f | 72 65 6d 27 20 74 6f 20 |ge `theo|rem' to |
|000005d0| 75 73 65 20 77 69 74 68 | 20 4c 61 54 65 58 32 65 |use with| LaTeX2e|
|000005e0| 0d 25 25 20 43 6f 70 79 | 72 69 67 68 74 20 28 43 |.%% Copy|right (C|
|000005f0| 29 20 31 39 38 39 2d 31 | 39 39 34 20 46 72 61 6e |) 1989-1|994 Fran|
|00000600| 6b 20 4d 69 74 74 65 6c | 62 61 63 68 2c 20 61 6c |k Mittel|bach, al|
|00000610| 6c 20 72 69 67 68 74 73 | 20 72 65 73 65 72 76 65 |l rights| reserve|
|00000620| 64 2e 0d 25 25 0d 25 25 | 20 46 6f 72 20 65 72 72 |d..%%.%%| For err|
|00000630| 6f 72 20 72 65 70 6f 72 | 74 73 20 66 6f 72 20 55 |or repor|ts for U|
|00000640| 4e 43 48 41 4e 47 45 44 | 20 76 65 72 73 69 6f 6e |NCHANGED| version|
|00000650| 73 20 73 65 65 20 72 65 | 61 64 6d 65 2e 74 78 74 |s see re|adme.txt|
|00000660| 2e 0d 25 25 20 20 20 54 | 68 65 20 6e 65 78 74 20 |..%%   T|he next |
|00000670| 66 65 77 20 6c 69 6e 65 | 73 20 64 65 66 69 6e 65 |few line|s define|
|00000680| 20 74 68 65 6f 72 65 6d | 20 73 65 74 73 20 77 68 | theorem| sets wh|
|00000690| 69 63 68 20 61 72 65 20 | 75 73 65 64 0d 25 25 20 |ich are |used.%% |
|000006a0| 20 20 69 6e 20 74 68 65 | 20 65 78 61 6d 70 6c 65 |  in the| example|
|000006b0| 20 73 65 63 74 69 6f 6e | 20 6f 66 20 74 68 65 20 | section| of the |
|000006c0| 64 6f 63 75 6d 65 6e 74 | 61 74 69 6f 6e 2e 0d 5c |document|ation..\|
|000006d0| 62 65 67 69 6e 67 72 6f | 75 70 20 5c 6d 61 6b 65 |begingro|up \make|
|000006e0| 61 74 6c 65 74 74 65 72 | 0d 5c 40 69 66 75 6e 64 |atletter|.\@ifund|
|000006f0| 65 66 69 6e 65 64 7b 74 | 68 65 6f 72 65 6d 40 73 |efined{t|heorem@s|
|00000700| 74 79 6c 65 7d 7b 5c 69 | 6e 70 75 74 7b 74 68 65 |tyle}{\i|nput{the|
|00000710| 6f 72 65 6d 2e 73 74 79 | 7d 7d 7b 7d 0d 5c 50 72 |orem.sty|}}{}.\Pr|
|00000720| 6f 76 69 64 65 73 46 69 | 6c 65 7b 74 68 62 2e 73 |ovidesFi|le{thb.s|
|00000730| 74 79 7d 0d 20 20 20 20 | 20 20 20 20 20 20 20 20 |ty}.    |        |
|00000740| 20 5b 5c 66 69 6c 65 64 | 61 74 65 5c 73 70 61 63 | [\filed|ate\spac|
|00000750| 65 20 54 68 65 6f 72 65 | 6d 20 6c 61 79 6f 75 74 |e Theore|m layout|
|00000760| 20 73 74 79 6c 65 20 5c | 66 69 6c 65 76 65 72 73 | style \|filevers|
|00000770| 69 6f 6e 5d 0d 5c 77 6c | 6f 67 7b 54 68 65 6f 72 |ion].\wl|og{Theor|
|00000780| 65 6d 20 6c 61 79 6f 75 | 74 3a 20 60 74 68 65 6f |em layou|t: `theo|
|00000790| 72 65 6d 2d 62 72 65 61 | 6b 27 20 5c 66 69 6c 65 |rem-brea|k' \file|
|000007a0| 76 65 72 73 69 6f 6e 20 | 5c 73 70 61 63 65 0d 20 |version |\space. |
|000007b0| 20 20 20 20 20 20 20 20 | 3c 5c 66 69 6c 65 64 61 |        |<\fileda|
|000007c0| 74 65 3e 20 20 28 46 4d | 69 29 7d 0d 5c 67 64 65 |te>  (FM|i)}.\gde|
|000007d0| 66 5c 74 68 40 62 72 65 | 61 6b 7b 5c 6e 6f 72 6d |f\th@bre|ak{\norm|
|000007e0| 61 6c 66 6f 6e 74 5c 73 | 6c 73 68 61 70 65 0d 20 |alfont\s|lshape. |
|000007f0| 20 5c 64 65 66 5c 40 62 | 65 67 69 6e 74 68 65 6f | \def\@b|egintheo|
|00000800| 72 65 6d 23 23 31 23 23 | 32 7b 5c 69 74 65 6d 5b |rem##1##|2{\item[|
|00000810| 25 0d 20 20 20 20 20 20 | 20 5c 72 6c 61 70 7b 5c |%.      | \rlap{\|
|00000820| 76 62 6f 78 7b 5c 68 62 | 6f 78 7b 5c 68 73 6b 69 |vbox{\hb|ox{\hski|
|00000830| 70 20 5c 6c 61 62 65 6c | 73 65 70 5c 74 68 65 6f |p \label|sep\theo|
|00000840| 72 65 6d 40 68 65 61 64 | 65 72 66 6f 6e 74 20 23 |rem@head|erfont #|
|00000850| 23 31 5c 20 23 23 32 7d | 25 0d 20 20 20 20 20 20 |#1\ ##2}|%.      |
|00000860| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 5c 68 62 |        |     \hb|
|00000870| 6f 78 7b 5c 73 74 72 75 | 74 7d 7d 7d 5d 7d 25 0d |ox{\stru|t}}}]}%.|
|00000880| 5c 64 65 66 5c 40 6f 70 | 61 72 67 62 65 67 69 6e |\def\@op|argbegin|
|00000890| 74 68 65 6f 72 65 6d 23 | 23 31 23 23 32 23 23 33 |theorem#|#1##2##3|
|000008a0| 7b 25 0d 20 20 5c 69 74 | 65 6d 5b 5c 72 6c 61 70 |{%.  \it|em[\rlap|
|000008b0| 7b 5c 76 62 6f 78 7b 5c | 68 62 6f 78 7b 5c 68 73 |{\vbox{\|hbox{\hs|
|000008c0| 6b 69 70 20 5c 6c 61 62 | 65 6c 73 65 70 20 5c 74 |kip \lab|elsep \t|
|000008d0| 68 65 6f 72 65 6d 40 68 | 65 61 64 65 72 66 6f 6e |heorem@h|eaderfon|
|000008e0| 74 0d 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |t.      |        |
|000008f0| 20 20 20 20 20 20 20 23 | 23 31 5c 20 23 23 32 5c |       #|#1\ ##2\|
|00000900| 20 28 23 23 33 29 7d 25 | 0d 20 20 20 20 20 20 20 | (##3)}%|.       |
|00000910| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 5c 68 62 |        |     \hb|
|00000920| 6f 78 7b 5c 73 74 72 75 | 74 7d 7d 7d 5d 7d 7d 0d |ox{\stru|t}}}]}}.|
|00000930| 5c 65 6e 64 67 72 6f 75 | 70 0d 0d 5c 65 6e 64 69 |\endgrou|p..\endi|
|00000940| 6e 70 75 74 0d 25 25 20 | 0d 25 25 20 45 6e 64 20 |nput.%% |.%% End |
|00000950| 6f 66 20 66 69 6c 65 20 | 60 74 68 62 2e 73 74 79 |of file |`thb.sty|
|00000960| 27 2e 0d                |                         |'..     |        |
+--------+-------------------------+-------------------------+--------+--------+